On the Tits alternative for PD(3)PD(3) groups

We prove the Tits alternative for an almost coherent $PD(3)$ group which is not virtually properly locally cyclic. In particular, we show that an almost coherent $PD(3)$ group which cannot be generated by fewer than four elements always contains a rank 2 free group.Comment: 16 pages, minor corrections, to appear in Ann. Fac. Sci. Toulouse Mat

Orderable 3-manifold groups

We investigate the orderability properties of fundamental groups of 3-dimensional manifolds. Many 3-manifold groups support left-invariant orderings, including all compact P^2-irreducible manifolds with positive first Betti number. For seven of the eight geometries (excluding hyperbolic) we are able to characterize which manifolds' groups support a left-invariant or bi-invariant ordering. We also show that manifolds modelled on these geometries have virtually bi-orderable groups. The question of virtual orderability of 3-manifold groups in general, and even hyperbolic manifolds, remains open, and is closely related to conjectures of Waldhausen and others.Comment: 37 pages. Published version. Improvements in the organisation and presentation of the materia

Reducible And Finite Dehn Fillings

We show that the distance between a finite filling slope and a reducible filling slope on the boundary of a hyperbolic knot manifold is at most one.Comment: 17 pages, 11 figure

On definite strongly quasipositive links and L-space branched covers

We investigate the problem of characterising the family of strongly quasipositive links which have definite symmetrised Seifert forms and apply our results to the problem of determining when such a link can have an L-space cyclic branched cover. In particular, we show that if $\delta_n = \sigma_1 \sigma_2 \ldots \sigma_{n-1}$ is the dual Garside element and $b = \delta_n^k P \in B_n$ is a strongly quasipositive braid whose braid closure $\widehat b$ is definite, then $k \geq 2$ implies that $\widehat b$ is one of the torus links $T(2, q), T(3,4), T(3,5)$ or pretzel links $P(-2, 2, m), P(-2,3,4)$. Applying Theorem 1.1 of our previous paper we deduce that if one of the standard cyclic branched covers of $\widehat b$ is an L-space, then $\widehat b$ is one of these links. We show by example that there are strongly quasipositive braids $\delta_n P$ whose closures are definite but not one of these torus or pretzel links. We also determine the family of definite strongly quasipositive $3$-braids and show that their closures coincide with the family of strongly quasipositive $3$-braids with an L-space branched cover.Comment: 62 pages, minor revisions, accepted for publication in Adv. Mat

Branched covers of quasipositive links and L-spaces

Let $L$ be a oriented link such that $\Sigma_n(L)$, the $n$-fold cyclic cover of $S^3$ branched over $L$, is an L-space for some $n \geq 2$. We show that if either $L$ is a strongly quasipositive link other than one with Alexander polynomial a multiple of $(t-1)^{2g(L) + (|L|-1)}$, or $L$ is a quasipositive link other than one with Alexander polynomial divisible by $(t-1)^{2g_4(L) + (|L|-1)}$, then there is an integer $n(L)$, determined by the Alexander polynomial of $L$ in the first case and the Alexander polynomial of $L$ and the smooth $4$-genus of $L$, $g_4(L)$, in the second, such that $n \leq n(L)$. If $K$ is a strongly quasipositive knot with monic Alexander polynomial such as an L-space knot, we show that $\Sigma_n(K)$ is not an L-space for $n \geq 6$, and that the Alexander polynomial of $K$ is a non-trivial product of cyclotomic polynomials if $\Sigma_n(K)$ is an L-space for some $n = 2, 3, 4, 5$. Our results allow us to calculate the smooth and topological 4-ball genera of, for instance, quasi-alternating quasipositive links. They also allow us to classify strongly quasipositive alternating links and $3$-strand pretzel links.Comment: 49 pages, 7 figures, minor corrections and improved exposition, accepted for publication by the Journal of Topolog

On proper powers in free products and Dehn surgery

AbstractWe prove that for any triple (p, q, r) of integers, each greater than or equal to 2, and word w∈Z/p∗Z/q,the group (Z/p∗Z/q)/〈wr〉 is nontrivial. Conditions on the triple (p, q, r) are found under which this quotient group is infinite. We then apply these results to provide the last piece of evidence needed to show that nonintegral Dehn surgery on a knot in S3 cannot yield a reducible 3-manifold